
public class ErrorType extends Type {

	public ErrorType() {
		super("ERROR", 0);
	}

}
